$\forall$$A$, $B$:Type. ($A$ $\subseteq$r $B$) $\Rightarrow$ ($\forall$$x$:$A$, $a$:Atom1. $x$:$A$$\parallel$$a$ $\Rightarrow$ $x$:$B$$\parallel$$a$)